In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.

Late last year the Constitutional Court of South Africa decided that the exclusion of same-sex couples from the common law definition of marriage and the statutory marriage formula was unconstitutional as it violated the rights of such couples to equality. The Court suspended the declaration of invalidity for one year to allow Parliament to enact new legislation to correct the defects, failing which certain words would be read into the legislation to accommodate same-sex marriage. A single judge dissented on the (...) issue of remedy, finding that the Court should have developed the common law to include same-sex couples within the definition of marriage and read the necessary wording into the legislation with immediate effect. The decision is the culmination of a legal struggle by gays and lesbians for recognition of their relationships and the protection of their rights. While the scope of the right to marry may have been extended, the rights of domestic partners lag behind, often to the detriment of women in these relationships. (shrink)

In a world of pervasive media and ubiquitous computing, this article asks what happens as everything (objects, subjects, and actions) moves toward animation across a network. How do media and mediation affect our sense of agency? I argue that the contemporary subject, as described by real-world media practice and animated film, exists within a space of accelerated mediation that distorts self-perception. I use the example of A Scanner Darkly, the 2006 Richard Linklater film, to discuss the effects of pervasive (...) media and how it affects the parameters of self-reflection and agency. The importance of A Scanner Darkly to my argument is that it provides a vision of pervasive mediation in which subjects and objects collide. In A Scanner Darkly, I focus on the use of rotoscoping animation as visual effect and conceptual filter. Effectively, as I argue, animation is used in this case to illustrate the loss of face-to-face engagement – the impossibility of the unmediated encounter. In the first section of the article, I conceptualize a networked subject in reference to the film’s rendition of a subject adrift in a field of mediation. In the second section, I contrast this vision with a formulation of networked subjectivity that engages modalities of mediated presence to explore issues of agency in light of a technologically animated environment. The question I ask is: if as a society we are subjected to a pervasive mediation, how may we imagine modes of agency within an animated world? (shrink)

In 2008, the late Allan B. Wolter, OFM worked with Oleg V. Bychkov, Ph.D. to publish a ‘safe’ version of the Reportatio IA of Franciscan Master John Duns Scotus. The publication of this first book of Scotus’s Commentary on the Sentences from his Paris teaching offered scholars an opportunity to follow the Subtle Doctor’s reasoning throughout his entire teaching career: from the earliest Lectura texts, through the Ordinatio teaching, to what many consider his final say on certain matters when he (...) taught in Paris, between 1302 and 1304.While the Ordinatio claims to have been re-worked by Scotus himself, and Reportatio IA to have been ‘examined’ by Scotus, similar claims to definitive status do not appear... (shrink)

A semantical definition of abstract logics is given. It is shown that the Craig interpolation property implies the Beth definability property, and that the Souslin-Kleene interpolation property implies the weak Beth definability property. An example is given, showing that Beth does not imply Souslin-Kleene.

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

König, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called König's Infinity Lemma. Konig, D. [1927. ‘Über eine Schlussweise aus dem Endlichen ins Unendliche’, Acta Litterarum ac Scientiarum, Szeged, 3, 121–30] includes a graph theoretic formulation: an infinite, locally finite and connected graph includes an infinite path. Contemporary applications of the infinity lemma in logic frequently refer to a consequence of the infinity lemma: an infinite, locally finite tree with a root has (...) a infinite branch. This tree lemma can be traced to [Beth, E. W. 1955. ‘Semantic entailment and formal derivability’, Mededelingen der Kon. Ned. Akad. v. Wet., new series 18, 13, 309–42]. It is argued that Beth independently discovered the tree lemma in the early 1950s and that it was later recognized among logicians that Beth's result was a consequence of the infinity lemma. The equivalence of these lemmas is an easy consequence of a well known result in graph theory: every connected, locally finite graph has among its partial subgraphs a spanning tree. (shrink)

The provability logic GL was in the field of interest of A.V. Kuznetsov, who had also formulated its intuitionistic analog—the intuitionisticprovability logic—and investigated these two logics and their extensions.In the present paper, different versions of interpolation and of the Bethproperty in normal extensions of the provability logic GL are considered. Itis proved that in a large class of extensions of GL almost all versions of interpolation and of the Beth propertyare equivalent. It follows that in finite slice logics over (...) GL the three versionsCIP, IPD and IPR of the interpolation property are equivalent. Also theyare equivalent to the Beth properties B1, PB1 and PB2. (shrink)

s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn­ taktisch fixiert waren. Hiermit ergab sich auf dem Wege tiber eine quantoren­ logische Erweiterung des Modalitatensystems S4 zugleich eine Semantik fUr die intuitionistische Priidikatenlogik:. Der vorliegende Ergebnisbericht behandelt im Rahmen der klassischen Priidikatenlogik: zwei Modalitatensysteme, deren aussagenlogische Teile mit den Systemen M von v. WRIGHT und S4 von LEWIS tibereinstimmen. Es gibt verschiedene Moglichkeiten, aussagenlogische Modalitatensysteme quantoren­ logisch zu erweitem. Die hier (...) gewiihlten Erweiterungen sind in einer nabe­ liegenden Weise so vorgenommen, daB die Barcan-Formel (Seite 7) ungiiltig, aber ihre Umkehrung giiltig ist. Fiir die Kripke-Semantik dieser Systeme wird im m. Kapitel ein Voll­ stlindigkeitsbeweis nach den Methoden von KIuPKE [13] durchgefiihrt. Bin einfacherer Vollstiindigkeitsbeweis, der aber wesentIich weniger konstruktiv ist, wird in § 4 in Verallgemeinerung der Methode von HENKIN [7] gegeben. Durch eine Binbettung der intuitionistischen Priidikatenlogik: in das quan­ torenlogische Modalitatensystem S4' flihrt die Semantik des Systems S4' zur Kripke-Semantik der intuitionistischen Priidikatenlogik. Diese Semantik wird im V. Kapitel systematisch behandelt und im VI. Kapitel (iihnlich wie in KIuPKB [J3D mit der Semantik von BETH in Beziehung gebracht. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Priming and Narrative Habits in the Phenomenological InterviewReflections on a Study of Tourette SyndromeThe author reports no conflicts of interest.In "Dimensions, Not Types: On the Phenomenology of Premonitory Urges in Tourette Syndrome," Lisa Curtis-Wendlandt and Jack Reynolds provide new insights into some of the experiences characteristic of Tourette syndrome (TS). Their study is an excellent example of applied phenomenology (Burch, 2021), combining philosophy and qualitative research methods to illuminate (...) experiences that have often been mischaracterized in the existing literature. In their study, they focus on what is commonly referred to as a "premonitory urge" (PU): the "anticipatory urge that is often thought to precede the onset of the motor and phonic tics that are part of Tourette Syndrome" (Curtis-Wendlandt & Reynolds, 2024, p. 26). They ask not only whether PU is a necessary feature of TS, but also whether the very concept of PU accurately portrays the experiences and behaviors that it's intended to refer to. They point out that existing scales used to assess PU, for example, seem to implicitly narrow the relevant experiences by assuming that they are a) always negative and b) always internal, or inwardly focused (Curtis-Wendlandt & Reynolds, 2024, 26). Curtis-Wendlandt and Reynolds question these in-built assumptions about PU, suggesting that they may provide an overly narrow depiction that misses the genuine diversity of experiences that precede the onset of a motor or phonic tic.To explore these phenomena in more detail, they conducted a study intended to elicit fresh descriptions of these experiences. They interviewed 12 teenagers with a diagnosis of TS about their experiences of ticcing and tic suppression. Using the micro-phenomenological method (Petitmengin, 2006), they asked participants to reflect on a specific tic or tic suppression event and to recall the event in detail. Throughout the interview, [End Page 43] they asked open-ended questions about sensory, cognitive, or affective experiences surrounding the event. Through these interviews, they were able to generate rich descriptions of these experiences and investigate how these descriptions differed from standard accounts in the existing literature.Curtis-Wendlandt and Reynolds provide a detailed account of how they designed their phenomenological study, both philosophically and empirically. However, there is an important aspect of their method that they discuss only in a cursory or implicit way, which is what I want to focus on here. Throughout their study, they were concerned that participants might simply parrot back well-worn medicalized characterizations of PU. Such characterizations risk simplifying or even occluding key aspects of the participants' experiences that might be difficult to reflect upon or describe. However, despite stressing the importance of eliciting fresh descriptions, Curtis-Wendlandt and Reynolds provide only glimpses of how the interviews actually unfolded and what kinds of techniques they used to elicit these descriptions.In my experience, it is quite common to hear phenomenological psychologists and psychiatrists express concern that people may simply repeat common psychiatric or medicalized characterizations of their condition, rather than genuinely reflect upon and describe their first-person experiences. The philosophical assumption is that we all fall back on culturally sedimented language and terminology when describing our experiences. Someone who has spent extended periods of time interacting with psychiatrists and other healthcare professionals, for example, is likely to have picked up common ways of describing their condition—ways that may have helped them receive a diagnosis or obtain treatment. There is nothing inherently wrong with falling into these culturally sedimented characterizations. They facilitate everyday communication through a shared language and terminology. But phenomenologists are often concerned that this kind of culturally sedimented language covers over or obscures the phenomenon or experience they are trying to investigate. For example, if a psychiatrist has often described their patient's depressed mood as "sadness," then that patient may be likely to self-describe their mood as sadness in an interview setting. It might, in fact, be the case that their mood is best described as sadness. But it could also be the case that their mood would be more accurately described as, for instance, a sense of emptiness or feeling deep despair. The challenge is therefore to know whether someone's self-description is... (shrink)

Zusammenfassung Der Beitrag widmet sich der Entstehung des Faches Religionsgeschichte in Frankreich. Die Vorgeschichte zu diesem Prozess beginnt mit Benjamin Constants Religionsphilosophie der 1810–1820er Jahre, in der die lokalen und diachronen Veränderungen des allgemein menschlichen religiösen Gefühls als ein Schlüssel zur Religionsgeschichte verstanden wurden. Nach einer langen Pause wird das Thema des religiösen Gefühls in Albert Révilles liberaltheologischem Projekt wieder aktuell. Ausgehend von Schleiermachers Voraussetzungen hoffte Réville dadurch die Apologetik zu modernisieren wie auch den Weg zum theologischen Inklusivismus zu bahnen. (...) Sein Sohn Jean, ebenfalls Theologe, neutestamentlicher Forscher und Sentimentalist, arbeitete mit dem Vater zusammen an der Institutionalisierung des Faches Religionsgeschichte in Frankreich. Albert Réville leitete von 1886 bis zu seinem Tod 1906 die fünfte (religionswissenschaftliche) Sektion der École Pratique des Hautes Études, gleichzeitig war Jean Réville seit 1884 Herausgeber der Fachzeitschrift Revue de l’histoire des religions. Révilles theoretischer Standpunkt wurde von É. Durkheim und seinen Gleichgesinnten H. Hubert und M. Mauss, die die weitere weltanschauliche Säkularisierung förderten, nach 1898 stark kritisiert. Diese Serie von Erwiderungen zeigt die Kluft zwischen der Methodologie der (dem Ursprung nach) evangelischen Religionsgeschichte und der durkheimischen Religionssoziologie. (shrink)

For T any completion of Peano Arithmetic and for n any positive integer, there is a model of T of size $\beth_n$ with no (n + 1)-length sequence of indiscernibles. Hence the Hanf number for omitting types over T, H(T), is at least $\beth_\omega$ . (Now, using an upper bound previously obtained by Julia Knight H (true arithmetic) is exactly $\beth_\omega$ ). If T ≠ true arithmetic, then $H(T) = \beth_{\omega1}$ . If $\delta \not\rightarrow (\rho)^{ , then any completion of (...) Peano Arithmetic has a model of size δ with no set of indiscernibles of size ρ. There are similar results for theories strongly resembling Peano Arithmetic, e.g., ZF + V = L. (shrink)

This set reprints volumes that were orginally published by Routledge and Kegan Paul Ltd. in 1953. Landmark volumes at the time of their original publication, these titles do not merely expound the theoretical constructions of Russian philosophers, but also relate these constructions to the general conditions of Russian life. Volume One examines the historical conditions of the development of philosophy in Russia and explores the general features of Russian philosophy. It also surveys the principal works on the history of Russian (...) philosophy. Volume Two includes biographies and examination of the themes of the following philosophers; Vladimir Solovyov, V.D. Kudryavtsev, N.F. Fyodorov and Later Hegelians such as Chicherin, Debolski and Bakunin. This volume also provides analysis of various schools of thought in Russian philosophy in the twentieth century, for example; Neo-Leibzianism, Modern Positivism and New-Marxism to name but a few. (shrink)

In this paper we introduce the Wholeness Axiom , which asserts that there is a nontrivial elementary embedding from V to itself. We formalize the axiom in the language {∈, j } , adding to the usual axioms of ZFC all instances of Separation, but no instance of Replacement, for j -formulas, as well as axioms that ensure that j is a nontrivial elementary embedding from the universe to itself. We show that WA has consistency strength strictly between I 3 (...) and the existence of a cardinal that is super- n -huge for every n . ZFC + WA is used as a background theory for studying generalizations of Laver sequences. We define the notion of Laver sequence for general classes E consisting of elementary embeddings of the form i :V β → M , where M is transitive, and use five globally defined large cardinal notions – strong, supercompact, extendible, super-almost-huge, superhuge – for examples and special cases of the main results. Assuming WA at the beginning, and eventually refining the hypothesis as far as possible, we prove the existence of a strong form of Laver sequence for a broad range of classes E that include the five large cardinal types mentioned. We show that if κ is globally superstrong, if E is Laver-closed at beth fixed points, and if there are superstrong embeddings i with critical point κ and arbitrarily large targets such that E is weakly compatible with i , then our standard constructions are E -Laver at κ . , there is an extendible Laver sequence at κ .) In addition, in most cases our Laver sequences can be made special if E is upward λ -closed for sufficiently many λ. (shrink)

To promote ethical practices, healthcare managers must understand the ethical challenges encountered by key stakeholders. To characterize ethical challenges in Veterans Administration (VA) facilities from the perspectives of managers, clinicians, patients, and ethics consultants. We conducted focus groups with patients (n = 32) and managers (n = 38); semi-structured interviews with managers (n = 31), clinicians (n = 55), and ethics committee chairpersons (n = 21). Data were analyzed using content analysis. Managers reported that the greatest ethical challenge was fairly (...) distributing resources across programs and services, whereas clinicians identified the effect of resource constraints on patient care. Ethics committee chairpersons identified end-of-life care as the greatest ethical challenge, whereas patients identified obtaining fair, respectful, and caring treatment. Perspectives on ethical challenges varied depending on the respondent's role. Understanding these differences can help managers take practical steps to address these challenges. Further, ethics committees seemingly, are not addressing the range of ethical challenges within their institutions. (shrink)

I describe a gauge-independent approach to the relativistic two-body bound state and scattering problems in quantum field theory. The basic tool is an ordinary three-dimensional equation involving a potential operator V which gets contributions from both irreducible and reducible diagrams. In QED the resultant V is independent of the choice of covariant gauge used for the photon propagator, unlike the kernel in the Bethe–Salpeter equation. As an illustration, a problem concerning spin-independent level shifts in two-body bound states is analyzed.

We applaud Ray and Cooper (2024) for emphasizing environmental health as a bioethics issue. As a team of interdisciplinary pediatric researchers and providers who are part of an institutional clima...

Sexuality education is fundamental in higher and tertiary education institutions (HTEIs). Evidence suggests that its effective education is through translations into the first language of learners. However, in global and multilingual cultural communities such as HTEIs, the foundations for these translations are still a researchable area. Notably, in HTEIs adolescents, young adults and adults co-exist and therefore, any translations must be toned to balance across these groups. The aim of this study was to establish strategies that could enable sexuality educators (...) to effectively transfer information that is steeped in indigenous language, religious and cultural meaning without precipitating stigma and taboo issues. The study setting was the National University of Science and Technology where a cross section of indigenous cultures, languages and religions co-existed with other global cultures. A University Community-based Participatory Research (CBPR) methodology was administered by the researchers using a Delphi research approach to students and staff. Multilingual, multilayered, multireligious, and multicultural nature of the setting presented serious challenges that compromised the prevention of stigma and taboo issues when dealing with sexuality education. We recommend that the strategy to present sexuality education in indigenous languages to the generality of HTEIs population should, in the first instance, involve systematic identification of appropriate interventions that are religious, cultural, and language-specific. Contribution: This research reveals paramount ethical and religious violations that have a potential to precipitate opportunistic sexual relationships that may lead to impediments in capacity building for learners. This research can be utilised by academics on the field of Practical Theology, specifically youth ministry and pastoral care. (shrink)

Different researchers use "the philosophy of automated theorem p r o v i n g " t o cover d i f f e r e n t concepts, indeed, different levels of concepts. Some w o u l d count such issues as h o w to e f f i c i e n t l y i n d e x databases as part of the philosophy of automated theorem p r o v i n g . (...) Others wonder about whether f o r m u l a s should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem p r o v i n g . Yet others concern themselves w i t h what k i n d o f search should b e embodied i n a n y automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is " b e t t e r " , a n d c a l l t h i s a part of the p h i l o s o p h y of automated theorem p r o v i n g . Some people wonder whether automated theorem p r o v i n g should be " h u m a n oriented" or "machine o r i e n t e d " — sometimes arguing about whether the internal p r o o f methods should be " h u m a n - I i k e " or not, sometimes arguing about whether the generated proof should be output in a f o r m u n d e r s t a n d a b l e by p e o p l e , and sometimes a r g u i n g a b o u t the d e s i r a b i l i t y o f h u m a n intervention in the process of constructing a proof. There are also those w h o ask such questions as whether we s h o u l d even be concerned w i t h completeness or w i t h soundness of a system, or perhaps we should instead look at very efficient (but i n c o m p l e t e ) subsystems or look at methods of generating models w h i c h might nevertheless validate invalid arguments. A n d a l l of these have been v i e w e d as issues in the philosophy of automated theorem proving. Here, I w o u l d l i k e to step back from such i m p l e m e n t - ation issues and ask: " W h a t do we really think we are doing when we w r i t e an automated theorem prover?" My reflections are perhaps idiosyncratic, but I do think that they put the different researchers* efforts into a broader perspective, and give us some k i n d of handle on w h i c h directions we ourselves m i g h t w i s h to pursue when constructing (or extending) an automated theorem proving system. A logic is defined to be (i) a vocabulary and formation rules ( w h i c h tells us w h a t strings of symbols are w e l l - formed formulas in the logic), and ( i i ) a definition of ' p r o o f in that system ( w h i c h tells us the conditions under which an arrangement of formulas in the system constitutes a proof). Historically speaking, definitions of ' p r o o f have been given in various different manners: the most c o m m o n have been H i l b e r t - s t y l e ( a x i o m a t i c ) , Gentzen-style (consecution, or sequent), F i t c h - s t y l e (natural deduction), and Beth-style (tableaux).. (shrink)

In the article the problem of transformation of the information received by the user on the Internet into his knowledge is investigated. The paper uses the main special scientific and logical research methods used in the social and humanitarian sciences. At the same time, the methods of systematic and value-worldview analysis of the phenomena of the spiritual world of a person are distinguished by the degree of significance, which allow us to study the problem of the dialectic of knowledge and (...) information on the Internet not in isolation, but in connection with the main phenomena of the spiritual life of people, taking into account the priority of value-worldview structures. The goal of the work is to find a priority factor that provides a higher degree of accuracy in the transformation of information from the Internet into human knowledge. It is shown that the nature of the world wide web to a certain extent complicates the process of translating information coming to a person into his knowledge. It is concluded that the condition for the transformation of information received by the user on the Internet is the cognitive activity of a person, due primarily to the development of its value and ideological sphere. If the cognizing person has sufficiently developed and stable value – ideological foundations of personality, he successfully realizes himself as a developing subject, an active participant in knowledge. On the contrary, insufficiently stable value-worldview sphere can lead to passive perception of information by the individual, adaptation to reality, simplification of personality. Information from the Internet in the most adequate form is transformed into a person’s knowledge on the basis of his own cognitive activity, in the presence of intellectual and volitional capabilities for verifying the information available on the Network. (shrink)

We get consistency results on I(λ, T 1 , T) under the assumption that D(T) has cardinality $>|T|$ . We get positive results and consistency results on IE(λ, T 1 , T). The interest is model-theoretic, but the content is mostly set-theoretic: in Theorems 1-3, combinatorial; in Theorems 4-7 and 11(2), to prove consistency of counterexamples we concentrate on forcing arguments; and in Theorems 8-10 and 11(1), combinatorics for counterexamples; the rest are discussion and problems. In particular: (A) By Theorems (...) 1 and 2, if $T \subseteq T_1$ are first order countable, T complete stable but ℵ 0 -unstable, $\lambda > \aleph_0$ , and $|D(T)| > \aleph_0$ , then $IE(\lambda, T_1, T) \geq \operatorname{Min}\{2^\lambda, \beth_2\}$ . (B) By Theorems 4, 5, 6 of this paper, if e.g. V = L, then in some generic extension of V not collapsing cardinals, for some first order $T \subseteq T_1, |T| = \aleph_0, |T_1| = \aleph_1, |D(T)| = \aleph_2$ and IE(ℵ 2 , T 1 , T) = 1. This paper (specifically the ZFC results) is continued in the very interesting work of Baldwin on diversity classes [B1]. Some more advances can be found in the new version of [Sh300] (see Chapter III, mainly \S7); they confirm 0.1, 0.2 and 14(1), 14(2). (shrink)